Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
641	[My thesis advisor was Raymond Smullyan. He likes to begin talks with, “Before I speak, there’s something I’d like to say.” Add to Reading List Source URL: comet.lehman.cuny.edu Language: English - Date: 2013-07-10 12:43:27 Philosophical logic Modal logic Axiology Paraconsistent logic Fuzzy logic Logic Mathematical logic Non-classical logic
642	Academic software reuse, an experience report Edward Z. Yang May 14, 2012 The objective of this 6.UAP project was to build an online, educational proof assistant for classical first-order logic, which al Add to Reading List Source URL: ezyang.com Language: English - Date: 2013-05-31 17:17:03 Mathematics Automated theorem proving Logic in computer science Functional languages Proof assistant Coq Natural deduction Jape Intuitionistic logic Mathematical logic Logic Proof theory
643	Computers Do Not Run on Logic Mladen Pavicˇ ic´ Physics Chair, Faculty of Civil Engineering, University of Zagreb, Zagreb, Croatia. [removed] http://m3k.grad.hr/pavicic Add to Reading List Source URL: m3k.grad.hr Language: English - Date: 2010-07-15 19:55:00 Algebraic logic Lattice theory Algebraic structures Non-classical logic Boolean algebra Quantum logic Complemented lattice Axiom Logic Mathematics Mathematical logic
644	AG15 RED AND BLUE Alessio Guglielmi (TU Dresden and University of Bath[removed]This note needs to be read in colour to be meaningful! Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:48 Non-classical logic Logical connectives Propositional calculus Boolean algebra Linear logic Negation Sequent calculus Modal logic Deep inference Logic Mathematical logic Proof theory
645	Realizability in classical logic Jean-Louis Krivine University Paris VII, C.N.R.S. P.P.S. Team [removed] Lessons in Marseille-Luminy, may 2004 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-09-16 11:45:33 Algebraic topology Symbol Spectral theory Sheaf Operator theory Ordinary differential equations Natural deduction Combinatory logic Mathematics Algebra Abstract algebra
646	The Focused Inverse Method for Linear Logic Kaustuv Chaudhuri CMU-CS[removed]December 4, 2006 Department of Computer Science Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2007-05-23 16:37:29 Automated theorem proving Proof theory Logic in computer science Non-classical logic Deduction Linear logic Intuitionistic logic Natural deduction Logic programming Logic Mathematical logic Mathematics
647	A logical basis for quantum evolution and entanglement Richard F. Blute1 , Alessio Guglielmi2 , Ivan T. Ivanov3 , Prakash Panangaden4 , and Lutz Straßburger5 1 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2013-09-18 14:19:30 Proof theory Non-classical logic Logic in computer science Deduction Propositional calculus Linear logic Entailment Directed acyclic graph Curry–Howard correspondence Logic Mathematical logic Mathematics
648	AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:51 Non-classical logic Boolean algebra Substructural logic Logical connectives Negation Linear logic Rule of inference Modal logic Noncommutative logic Logic Mathematical logic Propositional calculus
649	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:39 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
650	_____________ Discount 30% ___________ Special Offer to the Participants Add to Reading List Source URL: www.square-of-opposition.org Language: English - Date: 2014-05-25 11:04:06 Traditional logic Paraconsistent logic Logical hexagon Jean-Yves Béziau Universal logic Square of opposition Mereology Classical logic Jean-Yves Logic Mathematical logic Inference

UPDATE